#ifndef WDT_H
#define WDT_H

void wdt_init(int timeout);
void wdt_reset(void);

#endif
